﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace TruthTree2.PC.Logic
{
    public abstract class Atom : Sentence
    {
        public override int SortValue { get { return 0; } }
        public override bool Decomposable { get { return false; } }

        public override Decomposition GetDecomposition() { return new Decomposition(); }
    }
}
